361. Vollstandige systeme modaler und intuitioni tischor logik
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6
362. agent systems :-Formation control of multi
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Multiagent systems. ; Formation control (Machine theory) ; Graph theory. ; Rigidity (Geometry) ; Automatic control ; Mathematical models. ; Robotics ; Mathematical models. ;
363. classical logics, model theory, and computability-Non
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;
364. کاربرد تئوری رفتار برنامه ریزی شده در تحلیل عوامل موثر بر پذیرش کشت بدون خاکورزی در شهرستان مرودشت
پدیدآورنده : /مهدی شهریاری گرایی
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Logit model,Marvdasht county,No-tillage cultivation,Planned behavior theory and Soil conservation
